symmetric and transitive but not reflexive example